COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Reprint Fodor for class.
C00004 00003	Lecture 1, 1981 jan 6
C00006 00004	Term paper topics
C00008 00005	references
C00009 ENDMK
C⊗;
Reprint Fodor for class.
Make a handout for the first class.
References
Fodor, Moore theses.
Nilsson?
discuss AI texts in terms of their treatment of epistemological issues
discuss some program, e.g. SHRDLU in terms of its epistemological assumptions
finish off knowledge stuff for philosophical papers and class

Get copies of knowledge papers and write about modal theory and relation
between Kripke model theory and the ordinary model theory of modal logic
in first order logic.

It would be good to discuss first order logic problem solvers.

Unless some restriction is imposed, proof-checkers are possible admitting
extremely short proofs - namely if C is a proof-checker, then C' admits
n as a proof of p if there is a C-proof of length ≤ ackermann(n).  Clearly
this transformation is unhelpful.  Therefore, a proper proof-checker is
one whose proofs can be checked in a time simply proportional to the
length of the proof.  Perhaps we can even normalize the constant of
proportionality.

FOL manuals and primers
Lecture 1, 1981 jan 6

1. Epistemological and heuristic problems of AI.

2. Relation of AI requirements for epistemology to
problems of philosophy.

3. Logical systems and central postion of first order logic and
set theory.  We probably won't do justice to set theory in this
course.  FOL proofs and FOL axiomatizations.

4. We should get our hands wet with first order problem solvers,
but we won't do that either.

5. The lectures will be based on my papers, but we'll get through
them well before the class is over.

6. A term paper is optional, but I'll read one carefully if submitted
if it is relevant to the problems of the course.

7. THE KEY SKILL TO BE DEVELOPED IS THAT OF FORMALIZATION

8. I'll start with knowledge axiomatization, even though it is
an advanced topic logically, because I can give you something to
sink your teeth into immediately.

9. Mention Newell's view of the role of logic.
Term paper topics

Discussion of the frame problem

Heavy duty set theory

CBCL

superior blocks axiomatization

rationality axiomatization - He will do what he thinks will
achieve his goals together with proof that a person will do
something.  Maybe also - he likes me so he will do what helps
me.

better knowledge axiomatizations including joint knowledge

formalization of circumscription or other non-monotonic reasoning in FOL.

bodies of knowledge, knowing about

approximate theories

understand Schank's latest paper; where is it going

knowing about

Modify AIRPOR.AX so that assuming rationality, we can prove that
a third person will walk to the car.
references
Minker and Gallaire
Dennett
Konoloige
Fodor
Newell